HAIFA : An XML Based Interoperability Solution for Haskell

نویسنده

  • Simon Foster
چکیده

Recent research in orchestration of composite web-services has highlighted Haskell as a language ideal for workflow orchestration semantics at an implementation level. Since Haskell is built on the concept of building larger functions by composing a number of smaller functions, it is ideal for composing services as well. In order to compose service operations though, it is necessary to enable Haskell to view services as side-effecting functions. Our goal, accordingly, is the creation of a framework both for client-side access of web-service operations, in terms of Haskell functions, and also a server-side function publishing framework, which would allow Haskell functions to be bound to URLs for execution. This paper introduces HAIFA, a service interoperation toolkit which goes some of the way to providing these features, and provides a foundation on which service composition can be achieved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hospital information systems interoperability in Iran

Introduction: Interoperability is needed when the Hospital Information System (HIS) data should be combined and shared with different systems. This study was aimed to determine the semantic and technical interoperability of hospital information systems of Iran’s health care centers and propose guidelines to create and develop interoperability of these centers. Methods: This descriptive st...

متن کامل

Type-Safe Two-Level Data Transformation

A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings used for interoperability and persistence. We provide a formal treatment of two-level data trans...

متن کامل

Scripting XML with Generic Haskell

A generic program is written once and works on values of many data types. Generic Haskell is a recent extension of the functional programming language Haskell that supports generic programming. This paper discusses how Generic Haskell can be used to implement XML tools whose behaviour depends on the DTD or Schema of the input XML document. Example tools include XML editors, databases, and compr...

متن کامل

EWD : A Metamodeling Driven Customizable MultiMoC System Modeling Environment

To model complex embedded systems, one needs a modeling framework that allows expressibility and fidelity to capture multiple models of computation (MoC)s and their interaction. However, none of the available multi-MoC frameworks such as Ptolemy and SystemC extensions are as easily customizable by users, as metamodeling frameworks proposed in software engineering, such as GME (Generic Modeling ...

متن کامل

UUXML: A Type-Preserving XML Schema-Haskell Data Binding

An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles documents typed by the W3C XML Schema standard. Our translation is based on a formal semantics of Schema, and has been proved sound with respect to the semantics. We also show a program in Generic Haskell that constructs pars...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005